1. Elements of Finite Model Theory
پدیدآورنده : libkin ,leonid
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Model Theory
رده :
EBOOK
,
QA
L53
9
.
7
2. Elements of finite model theory
پدیدآورنده : Libkin, Leonid.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Model theory
رده :
QA
9
.
7
.
L53
2004
3. Elements of finite model theory
پدیدآورنده : by Leonid Libkin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Model theory.
رده :
QA9
.
7
B954
2011
4. FINITE MODEL THEORY (1).
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
5. Finite and Algorithmic Model Theory
پدیدآورنده : / Esparza/Michaux/Steinhorn
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : METHODS&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
6. Finite and algorithmic model theory
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Finite model theory. ;
7. Finite and algorithmic model theory
پدیدآورنده : edited by Javier Esparza, Christian Michaux, Charles Steinhorn
کتابخانه: (طهران)
موضوع : ، Finite model theory,Mathematics ، Computer science
رده :
QA
9
.
7
.
F565
2011
8. Finite and algorithmic model theory
پدیدآورنده : edited by Javier Esparza, Christian Michaux, Charles Steinhorn
کتابخانه: (طهران)
موضوع : ، Finite model theory,، Computer science -- Mathematics
رده :
QA
9
.
7
.
F562
9. Finite model theory
پدیدآورنده : Ebbinghaus, Heinz-Dieter, 9391-
کتابخانه: (طهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
E22F5
10. Finite model theory
پدیدآورنده : Ebbinghaus, Heinz-Dieter, 9391-
کتابخانه: (طهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
E22F5
2006
11. Finite model theory
پدیدآورنده :
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Model theory
رده :
511
.
34
E15f
1999
12. Finite model theory
پدیدآورنده : Ebbinghaus, Heinz-Dieter
موضوع : ، Model theory
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
13. Finite model theory
پدیدآورنده : Ebbinghaus, Heinz-Dieter
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Model theory
رده :
QA
9
.
7
.
E23
1999
14. Finite model theory
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Model theory. ;
15. Finite model theory
پدیدآورنده : / Heinz-Dieter Ebbinghaus, Jorg Flum
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Model theory
رده :
QA9
.
7
.
E23
1999
16. Finite model theory
پدیدآورنده : / Heinz-Dieter Ebbinghaus, Jorg Flum
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Model theory
رده :
E-BOOK
17. Finite model theory
پدیدآورنده : / Heinz-Dieter Ebbinghaus, Jorg Flum
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Model theory
رده :
QA9
.
7
.
E23
1999
18. Finite model theory and its applications
پدیدآورنده : Erich Gradel ... [et al.]&
کتابخانه: كتابخانه پژوهشگاه علوم و فناوری رنگ (طهران)
موضوع : Finite model theory,Computational complexity,Constraint databases
رده :
{
1648
},
06fdfb40a6eef9acf992e8ee6bc47b2a
19. Finite model theory and its applications
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Finite model theory. ; Computational complexity. ; Constraint databases. ;
20. Finite model theory and its applications
پدیدآورنده : Erich Gradel...]et al.[
کتابخانه: (طهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
F565
